Document : Letter to Ivor Montagu

01 Montagu (JG/d)

A number of factors have made franchising a successful business model: new store expansion can be accelerated because much of the investment capital and many of the management decisions come from local franchise owners, distribution of fixed costs across many outlets provides economies of scale in purchasing and advertising which only large networks can provide, and the financial risks and rewa...

Ivor, a Proof Engine

Dependent type theory has several practical applications in the fields of theorem proving, program verification and programming language design. Ivor is a Haskell library designed to allow easy extending and embedding of a type theory based theorem prover in a Haskell application. In this paper, I give an overview of the library and show how it can be used to embed theorem proving technology in...

Letter to editor

This article has no abstract.

Letter to Editor

Dear Editor On September 2018, a case report titled “Squamous cell carcinoma arising from a sebaceous cyst” was published in the “Journal of Surgery and Trauma” (volume 6, issue 2) (1). It was an interesting article; however, I think when dealing about such rare tumors, it is important to be aware of other diseases, such as proliferating trichilemmal cysts (PTC) that may be confused with squam...

Letter to Editor